Representing Defaults in the Framework of Possibility Theory
نویسنده
چکیده
In this paper we present two results on combining approximate and default reasoning First we investigate the relationship between default logic and the formalism introduced by Yager to represent default knowledge in the framework of possibility theory Second we describe a natural representation of default priorities in Yager s formalism INDEX TERMS Default logic possibility theory fuzzy set prioritized default logic
منابع مشابه
Representing Priorities of Defaults in Possibility Theory
It is suggested by Yagerr5] that default knowledge can be represented in the framework of possibility theory. In this note, we show a potential application of the proposal. That is, the priorities of defaults can be encoded into the formalism naturally and the results produced by such encoded default theories reeect the strength of the conclusions.
متن کاملRepresenting Defaults as Sentences with Reduced Priority
We distinguish between two ways of thinking about defaults. The rst way, in which defaults augment known premises by`strengthening' the underlying logic, is the traditional approach taken by most existing formalisms. In the second way, defaults are represented in the set of premises, but obtain their default status by having a reduced priority relative to the known premises. In this paper we: 1...
متن کاملExpressing Independence in a Possibilistic Framework and its Application to Default Reasoning
Possibility theory offers a general framework for dealing with default rules of the form "generally, if p, then q" which are modelled by constraints expressing that having p and q true is strictly more possible than having p and not q true. Then possibilistic logic offers an inference machinery for default reasoning which obeys classical postulates for nonmonotonic reasoning including rational ...
متن کاملCoping with the Limitations of Rational Inference in the Framework of Possibility Theory
Possibility theory offers a framework where both Lehmann's "preferential inference" and the more productive (but less cautious) "rational closure inference" can be represented. However, there are situations where the second inference does not provide expected results either because it cannot produce them, or even provide counter-intuitive conclusions. This state of facts is not due to the princ...
متن کاملPreferred Subtheories: An Extended Logical Framework for Default Reasoning
We present a general framework for defining nonmonotonic systems based on the notion of preferred maximal consistent subsets of the premises. This framework subsumes David Poole's THEORIST approach to default reasoning as a particular instance. A disadvantage of THEORIST is that it does not allow to represent priorities between defaults adequately (as distinct from blocking defaults in specific...
متن کامل